$\forall$$D$:Dsys, ${\it discrete}$:(Id$\rightarrow$Id$\rightarrow\mathbb{B}$). d{-}feasible{-}discrete($D$;${\it discrete}$) $\in$ $\mathbb{P}$